brayton cycle efficiency derivation